Section: Dissemination

Teaching - Supervision - Juries

• Licence:

  • Mehdi Bouaziz, Concepts Informatique (CI2), 22 ETD, L1, Université Paris-Diderot, Paris, France.

  • Mehdi Bouaziz, Intensive training in algorithmics, 35 ETD, Epita, Le Kremlin-Bicètre, octobre-novembre 2014.

  • Mehdi Bouaziz, Preparation to the International Olympiad in Informatics, 40h ETD, Epita, Le Kremlin-Bicètre, France.

  • Tie Cheng, Introduction to algorithmics, 36h ETD, L3, École Polytechnique, Palaiseau, France.

  • Jérôme Feret, and Caterina Urban, Mathematics, 40h ETD, L1, FDV Bachelor program (Frontiers in Life Sciences (FdV)), Université Paris-Descartes, France.

  • Antoine Miné and Xavier Rival, Semantics and applications to verification, 48h ETD, L3, École Normale Supérieure, Paris, France.

  • Xavier Rival, Introduction to static analysis, 8h, L3, École des Mines de Paris, Paris, France.

  • Xavier Rival, Introduction to algorithmics, 40h ETD, L3, École Polytechnique, Palaiseau, France.

  • Antoine Toubhans, Functional Analysis Class, 34h ETD, L2, Université Pierre et Marie Curie (UPMC), Paris, France.

  • Caterina Urban, Mathematics, 26.5h ETD, Bachelor Program “Frontières du Vivant”, Université Paris Descartes.

  • Thibault Suzanne, Introduction to Programming, 72h ETD, L1, Université Paris Diderot.

• Master:

  • Vincent Danos and Jérôme Feret (with Jean Krivine), Computational Biology, 20h ETD, M1. Interdisciplinary Approaches to Life Science (AIV), Master Program, Université Paris-Descartes, France.

  • Jérôme Feret, Antoine Miné, and Xavier Rival, Abstract Interpretation: application to verification and static analysis, 72h ETD, M2. Parisian Master of Research in Computer Science (MPRI). École normale supérieure. France.

  • Xavier Rival, Introduction to abstract interpretation, 8h, M1-M2, East China Normal University, Shanghai, China.

• PhD:

  • Arlen Cox, Parametric heap abstraction for dynamic languages libraries, University of Colorado at Boulder (USA), 17 of November 2014, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

• PhD in progress:

  • Mehdi Bouaziz, Static analysis of security properties by abstract interpretation. November 2011, Patrick Cousot and Jérôme Feret, École Normale Supérieure.

  • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

  • Arlen Cox, Representing dynamic languages heaps using parametric, modular, container abstract domains, 2013, Xavier Rival, École Normale Supérieure, supervised jointly by Bor-Yuh Evan Chang (University of Colorado), Xavier Rival (École Normale Supérieure) and Sriram Sankaranarayana (University of Colorado).

  • Tie Cheng, Static analysis of spreadsheet macros, October 2011, Xavier Rival, École Polytechnique.

  • Vincent Laviron, Static Analysis of Functional Programs by Abstract Interpretation, October 2009, Patrick Cousot, École Normale Supérieure.

  • Huisong Li, Static Analysis of Data-Structures with Sharing, November 2014, Xavier Rival, École Normale Supérieure

  • Jiangchao Liu, Verification of the memory safety of a micro-kernel, December 2013, Xavier Rival, École Normale Supérieure

  • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

  • Caterina Urban, Static Analysis of Functional Temporal Properties of Programs by Abstract Interpretation, November 2011, Radhia Cousot and Antoine Miné, École Normale Supérieure.

  • Thibault Suzanne, Thread-modular static analysis of concurrent programs in the presence of weak memory models, October 2014, Antoine Miné, École Normale Supérieure.